glb of an interval